Статья

Название статьи

РЕВЕРСИВНЫЕ ЧАСТИЧНО МАРКИРОВАННЫЕ sNCES-СЕТИ 

Авторы

Дубинин Виктор Николаевич, кандидат технических наук, доцент кафедры вычислительной техники Пензенского государственного университета.
Ханиш Ханс-Михаэль, доктор наук, профессор, заведующий кафедрой техники автоматизации университета Мартина Лютера (Германия).
Миссал Дирк, аспирант кафедры техники автоматизации университета Мартина Лютера (Германия).

Индекс УДК

519.7

Аннотация

В данной работе вводится понятие реверсивных частично маркированных sNCES-сетей и определяются правила их функционирования. В основу реверсивных sNCES-сетей положены обычные sNCES-сети, в которых принято так называемое обратное срабатывание перехода и шага в целом. Использование частичного маркирования позволяет сократить число достижимых состояний реверсивных sNCES-сетей.

 

 Скачать статью в формате PDF

Список литературы

1. Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. – М. : Мир, 1984. –     263 с.
2. Котов, В. Е. Сети Петри / В. Е. Котов. – М. : Наука, 1984. – 158 с.
3. Дубинин, В. Н. Сетевые спецификации, моделирование и проектирование вычислительных комплексов, систем и сетей / В. Н. Дубинин, С. А. Зинкин. – Пенза : Изд-во Пенз. гос. техн. ун-та. – 1996. – 322 с.
4. Hanisch, H.-M. Petri-Netze in der Verfahrenstechnik: Modellierung und Steuerung verfahrenstechnischer Systeme / H.-M. Hanisch. – Muenchen, Wien: Oldenbourg Verlag, 1992. – 216 S.
5. Hanisch, H.-M. Netz-Condition/Event Systeme. 4. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA’95) / H.-M. Hanisch, M. Rausch. – Braunschweig, Mai 1995, Tagungsband. – S. 55–71.
6. Hanisch, H.-M. Modeling of PLC behaviour by means of timed net condition/event systems / H.-M. Hanisch, J. Thieme, A. Luder, O. Wienhold // Int. Conf. on Emerging Technologies and Factory Automation (ETFA’97). – Los Angeles, USA, 1997.
7. Starke, P. H. Analysing Signal-Net Systems, Informatik–Bericht 162 / P. H. Starke, S. Roch. – Humboldt-Universitaet zu Berlin, Institut fuer Informatik. – 2002. – September. – 136 p.
8. Hanisch, H.-M. A modular plant modeling technique and related controller synthesis problems / H.-M. Hanisch, A. Luder, J. Thieme // IEEE Int. Conf. On Systems, Man, and Cybernetics. – 1998. – October. – V. 1. – P.686–691.
9. Vyatkin, V. A modeling approach for verification of IEC1499 function blocks using Net Condition/Event Systems / V. Vyatkin, H.-M. Hanisch // IEEE conference on Emerging Technologies in Factory Automation (ETFA'99), Barcelona, Spain. – 1999. – P. 261–270
10. Missal, D. Synthesis of distributed controllers by means of a monolithic approach / D. Missal, H. M. Hanisch // Proceedings of the 11th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA’2006), Prague, September. – 2006. – P. 356–363.
11. Missal, D. Maximally permissive distributed safety control syntesis / D. Missal, H.-M. Hanisch. – Draft of paper, 2007.
12. Представление и использование знаний / под ред. Х. Уэно, М. Исидзука : пер. с япон. – М. : Мир, 1989. – 220 с.

 

Дата создания: 18.07.2013 15:32
Дата обновления: 18.07.2013 15:32